$\forall$$k$:Knd. AtomFree(Knd;$k$)